import { EngineOptions } from '~/core/Options';

export interface LinterOptions {
    language: 'arkts';
    engine: EngineOptions;
}

export const DefaultLinterOptions: LinterOptions = {
    language: 'arkts',
    engine: {
        database: {
            gremlin: {
                host: 'localhost',
                port: 8182,
                batchSize: 1000,
            },
        },
        formatter: 'default',
        style: 'markdown',
        output: 'result.md',
    },
};
